صوری سازی در منطق گزاره ها و نقش ثوابت منطقی در آن

Authors

  • سیدمحمدعلی حجتی دانشیار گروه فلسفه دانشگاه تربیت مدرس
  • وحیده عامری کارشناس ارشد فلسفه دانشگاه تربیت مدرس
Abstract:

یکی از مباحث بنیادین فلسفه‌ی منطقْ صوری‌سازی است که تأمل در چیستی و چگونگی آن تلاش‌های منطق‌دانان را در سطح وسیعی متوجه خود ساخته است. صوری‌سازی را می‌توان به معنای تحلیل قضایا و استدلالات با توجه به صورت آن‌ها و بدون لحاظ کردن محتوای آن‌ها با هدف آشکار ساختن ساختار منطقی جملات دانست. فرگه، بنیان‌گذار منطق جدید، با الهام از مفهوم تابع و متغیر در ریاضی و تمایز میان مفهوم و شئ، قضایا را به دو بخش اسمی و محمولی تحلیل کرد که همین امر مبنای صوری‌سازی در منطق جدید می‌باشد. اما آن‌چه سمت و سوی صوری‌سازی را مشخص می‌کند، مسأله‌ی اعتبار است، چراکه حفظ اعتبار ضامن صحت نحوه‌ی صوری‌سازی است. ثوابت منطقی عنصرهای بنیادین ساخت‌های منطقی‌اند که در صوری‌سازی اهمیت فوق‌العاده‌ای دارند. اما منطق‌دانان برای تعیین آن‌ها ملاک‌های مختلفی ارائه داده‌اند که پذیرفتن هرکدام موجب تغییر در نحوه‌ی صوری کردن گزاره‌ها در منطق می‌شود. ما در این مقاله نشان خواهیم داد که نظام‌های منطقی مختلف می‌توانند معیارهای مختلفی برای ثوابت منطقی داشته باشند؛ هم‌چنین انتخاب یک معیار متأثر است از این‌که آیا می‌خواهیم ثابت منطقی جدیدی به نظام موجود بیافزاییم یا در مقام تأسیس یک نظام هستیم.

Upgrade to premium to download articles

Sign up to access the full text

Already have an account?login

similar resources

دستگاه منطقی قرآن کریم در افق منطق صوری

هر چیزی که ساختار منسجم و معقولی دارد، دارای ساختار و دستگاهی منطقی است. قرآن کریم نیز در مقام کتاب آسمانی ای که بر پیامبر اکرم(ص) نازل شده، دارای ساختار و دستگاهی منطقی است. از آنجا که قرآن کریم بر انسان ها نازل شده و قصد خروج انسان ها از ظلمت ها به نور را دارد باید دارای ساختاری بر وفق ادراک انسان ها باشد. ساختار فکری و ادراکی انسان ها بر ساختار منطق ارسطویی ـ که چیزی جز ساختار ادراکی و فکری ...

full text

Degenerate Four Wave Mixing in Photonic Crystal Fibers

In this study, Four Wave Mixing (FWM) characteristics in photonic crystal fibers are investigated. The effect of channel spacing, phase mismatching, and fiber length on FWM efficiency have been studied. The variation of idler frequency which obtained by this technique with pumping and signal wavelengths has been discussed. The effect of fiber dispersion has been taken into account; we obtain th...

full text

اثر بربرین در تنظیم آستروسیتهای Gfap+ ناحیه هیپوکمپ موشهای صحرایی دیابتی شده با استرپتوزوتوسین

Background: Diabetes mellitus increases the risk of central nervous system (CNS) disorders such as stroke, seizures, dementia, and cognitive impairment. Berberine, a natural isoquinolne alkaloid, is reported to exhibit beneficial effect in various neurodegenerative and neuropsychiatric disorders. Moreover astrocytes are proving critical for normal CNS function, and alterations in their activity...

full text

اثر بربرین در تنظیم آستروسیتهای Gfap+ ناحیه هیپوکمپ موشهای صحرایی دیابتی شده با استرپتوزوتوسین

Background: Diabetes mellitus increases the risk of central nervous system (CNS) disorders such as stroke, seizures, dementia, and cognitive impairment. Berberine, a natural isoquinolne alkaloid, is reported to exhibit beneficial effect in various neurodegenerative and neuropsychiatric disorders. Moreover astrocytes are proving critical for normal CNS function, and alterations in their activity...

full text

My Resources

Save resource for easier access later

Save to my library Already added to my library

{@ msg_add @}


Journal title

volume 10  issue 34

pages  41- 60

publication date 2013-03-18

By following a journal you will be notified via email when a new issue of this journal is published.

Hosted on Doprax cloud platform doprax.com

copyright © 2015-2023